#!/usr/bin/env python3
# -*- coding: utf-8 -*-
# ----------------------------------------------------------------------------
# Copyright (c) Huawei Technologies Co., Ltd. 2025. All rights reserved.
# This file is a part of the CANN Open Software.
# Licensed under CANN Open Software License Agreement Version 2.0 (the "License").
# Please refer to the License for details. You may not use this file except in compliance with the License.
# THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR IMPLIED,
# INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY, OR FITNESS FOR A PARTICULAR PURPOSE.
# See LICENSE in the root of the software repository for the full text of the License.
# ----------------------------------------------------------------------------

import numpy as np
import sys

params_info = {
    "case50010": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,64,1024,3072,512,0,0,1,0,256,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50110": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,1024,512,0,0,1,0,256,1073741824,3072,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50210": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,1024,512,0,0,1,0,256,1073741824,3072,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50020": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,64,1024,3072,512,0,0,1,0,256,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50120": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,1024,512,0,0,1,0,256,1065353216,3072,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50220": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,1024,512,0,0,1,0,256,1065353216,3072,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50030": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,64,1024,1024,0,0,0,1,0,256,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50130": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,1024,0,0,0,1,0,256,1073741824,2048,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50230": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,512,0,0,0,1,0,256,1073741824,2048,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50040": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,64,1024,1024,0,0,0,1,0,256,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50140": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,1024,0,0,0,1,0,256,1065353216,2048,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case50240": [48,1,1,1,16,16,256,16,256,256,16,16,256,256,256,256,16,32,512,512,0,0,0,1,0,256,1065353216,2048,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,16,256,16,8,128,16,16,256,16,8,128,1,0,0,0],
    "case51010": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,124,4096,12288,2048,0,0,1,0,1024,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51110": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,4096,2048,0,0,1,0,1024,1073741824,12288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51210": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,4096,2048,0,0,1,0,1024,1073741824,12288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51020": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,124,4096,12288,2048,0,0,1,0,1024,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51120": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,4096,2048,0,0,1,0,1024,1065353216,12288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51220": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,4096,2048,0,0,1,0,1024,1065353216,12288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51030": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,124,4096,4096,0,0,0,1,0,1024,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51130": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,4096,0,0,0,1,0,1024,1073741824,8192,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51230": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,2048,0,0,0,1,0,1024,1073741824,8192,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51040": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,124,4096,4096,0,0,0,1,0,1024,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51140": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,4096,0,0,0,1,0,1024,1065353216,8192,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0],
    "case51240": [48,1,1,1,32,31,992,32,992,992,32,32,992,1024,1024,1024,32,62,2048,2048,0,0,0,1,0,1024,1065353216,8192,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,1024,32,8,256,32,32,1024,32,8,256,1,0,0,0], 
    "case4010": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,6080,64,64,8,32,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4110": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4210": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4020": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,6080,64,64,8,32,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4120": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4220": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4030": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,6080,64,64,8,32,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4130": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4230": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4040": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,6080,64,64,8,32,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4140": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4240": [46,4,95,1,8,8,6080,760,6080,64,760,8,64,12160,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4011": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,6144,64,64,8,32,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4111": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4211": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4021": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,6144,64,64,8,32,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4121": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4221": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4031": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,6144,64,64,8,32,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4131": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4231": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1073741824,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4041": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,6144,64,64,8,32,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4141": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4241": [48,4,96,1,8,8,6144,768,6144,64,768,8,64,12288,128,128,16,16,0,0,0,0,0,0,0,0,1065353216,0,0,0,8,8,64,8,8,64,8,8,64,8,8,64,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4012": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,30720,64,320,8,28,0,0,0,0,0,0,0,0,1073741824,0,0,0,40,8,320,40,8,320,40,8,320,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4112": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1073741824,0,0,0,40,16,640,40,16,640,40,16,640,40,16,640,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4212": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1073741824,0,0,0,40,16,640,40,8,320,40,16,640,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4022": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,30720,64,320,8,28,0,0,0,0,0,0,0,0,1065353216,0,0,0,40,8,320,40,8,320,40,8,320,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4122": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1065353216,0,0,0,40,16,640,40,16,640,40,16,640,40,16,640,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4222": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1065353216,0,0,0,40,16,640,40,8,320,40,16,640,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4032": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,30720,64,320,8,28,0,0,0,0,0,0,0,0,1073741824,0,0,0,40,8,320,40,8,320,40,8,320,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4132": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1073741824,0,0,0,40,16,640,40,16,640,40,16,640,40,16,640,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4232": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1073741824,0,0,0,40,16,640,40,8,320,40,16,640,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4042": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,30720,64,320,8,28,0,0,0,0,0,0,0,0,1065353216,0,0,0,40,8,320,40,8,320,40,8,320,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4142": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1065353216,0,0,0,40,16,640,40,16,640,40,16,640,40,16,640,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case4242": [48,4,96,5,8,7,26880,3840,5376,280,768,40,56,61440,128,640,16,14,0,0,0,0,0,0,0,0,1065353216,0,0,0,40,16,640,40,8,320,40,16,640,40,8,320,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2031": [48,96,1,16,144,144,331776,2304,20736,331776,144,2304,20736,331776,20736,331776,144,576,27648,27648,0,48,2,0,6912,0,1073741824,0,13824,0,48,144,6912,48,8,384,48,144,6912,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2131": [48,96,1,16,144,144,331776,2304,20736,331776,144,2304,20736,331776,20736,331776,144,288,13824,13824,0,48,2,0,6912,0,1073741824,82944,13824,0,48,144,6912,48,8,384,48,144,6912,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2231": [48,96,1,16,144,144,331776,2304,20736,331776,144,2304,20736,331776,20736,331776,144,288,13824,13824,0,48,2,0,6912,0,1073741824,82944,13824,0,48,144,6912,48,8,384,48,144,6912,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2041": [48,96,1,16,144,144,331776,2304,20736,331776,144,2304,20736,331776,20736,331776,144,576,27648,27648,0,48,2,0,6912,0,1065353216,0,13824,0,48,144,6912,48,8,384,48,144,6912,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2141": [48,96,1,16,144,144,331776,2304,20736,331776,144,2304,20736,331776,20736,331776,144,288,13824,13824,0,48,2,0,6912,0,1065353216,82944,13824,0,48,144,6912,48,8,384,48,144,6912,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2241": [48,96,1,16,144,144,331776,2304,20736,331776,144,2304,20736,331776,20736,331776,144,288,13824,13824,0,48,2,0,6912,0,1065353216,82944,13824,0,48,144,6912,48,8,384,48,144,6912,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case3010": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,16384,64,8192,8,32,0,0,0,45,0,0,0,0,1073741824,0,0,0,360,8,2880,360,8,2880,360,8,2880,360,8,2880,1,0,0,0,88,8,704,88,8,704,88,8,704,88,8,704,1,0,0,0],
    "case3110": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,33,0,0,0,0,1073741824,0,0,0,264,16,4224,264,8,2112,264,16,4224,264,8,2112,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3210": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,33,0,0,0,0,1073741824,0,0,0,264,16,4224,264,8,2112,264,16,4224,264,8,2112,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3020": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,16384,64,8192,8,32,0,0,0,45,0,0,0,0,1065353216,0,0,0,360,8,2880,360,8,2880,360,8,2880,360,8,2880,1,0,0,0,88,8,704,88,8,704,88,8,704,88,8,704,1,0,0,0],
    "case3120": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,33,0,0,0,0,1065353216,0,0,0,264,16,4224,264,8,2112,264,16,4224,264,8,2112,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3220": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,33,0,0,0,0,1065353216,0,0,0,264,16,4224,264,8,2112,264,16,4224,264,8,2112,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3030": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,16384,64,8192,8,32,0,0,0,51,0,0,0,0,1073741824,0,0,0,408,8,3264,408,8,3264,408,8,3264,408,8,3264,1,0,0,0,88,8,704,88,8,704,88,8,704,88,8,704,1,0,0,0],
    "case3130": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,40,0,0,0,0,1073741824,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3230": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,40,0,0,0,0,1073741824,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3040": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,16384,64,8192,8,32,0,0,0,51,0,0,0,0,1065353216,0,0,0,408,8,3264,408,8,3264,408,8,3264,408,8,3264,1,0,0,0,88,8,704,88,8,704,88,8,704,88,8,704,1,0,0,0],
    "case3140": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,40,0,0,0,0,1065353216,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3240": [32,11,2,128,8,8,16384,2048,128,8192,16,1024,64,32768,128,16384,16,16,0,0,0,40,0,0,0,0,1065353216,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,88,16,1408,88,8,704,88,16,1408,88,8,704,1,0,0,0],
    "case3011": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,15240,40,5080,8,20,0,0,0,72,0,0,0,0,1073741824,0,0,0,360,8,2880,360,8,2880,360,8,2880,360,8,2880,1,0,0,0,80,8,640,80,8,640,80,8,640,80,8,640,1,0,0,0],
    "case3111": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,53,0,0,0,0,1073741824,0,0,0,265,16,4240,265,8,2120,265,16,4240,265,8,2120,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3211": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,53,0,0,0,0,1073741824,0,0,0,265,16,4240,265,8,2120,265,16,4240,265,8,2120,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3021": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,15240,40,5080,8,20,0,0,0,72,0,0,0,0,1065353216,0,0,0,360,8,2880,360,8,2880,360,8,2880,360,8,2880,1,0,0,0,80,8,640,80,8,640,80,8,640,80,8,640,1,0,0,0],
    "case3121": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,53,0,0,0,0,1065353216,0,0,0,265,16,4240,265,8,2120,265,16,4240,265,8,2120,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3221": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,53,0,0,0,0,1065353216,0,0,0,265,16,4240,265,8,2120,265,16,4240,265,8,2120,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3031": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,15240,40,5080,8,20,0,0,0,81,0,0,0,0,1073741824,0,0,0,405,8,3240,405,8,3240,405,8,3240,405,8,3240,1,0,0,0,80,8,640,80,8,640,80,8,640,80,8,640,1,0,0,0],
    "case3131": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,64,0,0,0,0,1073741824,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3231": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,64,0,0,0,0,1073741824,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3041": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,15240,40,5080,8,20,0,0,0,81,0,0,0,0,1065353216,0,0,0,405,8,3240,405,8,3240,405,8,3240,405,8,3240,1,0,0,0,80,8,640,80,8,640,80,8,640,80,8,640,1,0,0,0],
    "case3141": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,64,0,0,0,0,1065353216,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case3241": [42,16,3,127,5,5,9525,1905,75,3175,15,635,25,30480,80,10160,16,10,0,0,0,64,0,0,0,0,1065353216,0,0,0,320,16,5120,320,8,2560,320,16,5120,320,8,2560,1,0,0,0,80,16,1280,80,8,640,80,16,1280,80,8,640,1,0,0,0],
    "case2010": [24,23,3,5,36,16,8640,540,1728,2880,108,180,576,8640,576,2880,16,64,0,0,0,12,0,0,0,0,1073741824,0,0,0,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2110": [24,23,3,5,36,16,8640,540,1728,2880,108,180,576,8640,576,2880,16,32,0,0,0,12,0,0,0,0,1073741824,0,1536,1536,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2210": [24,23,3,5,36,16,8640,540,1728,2880,108,180,576,8640,576,2880,16,32,0,0,0,12,0,0,0,0,1073741824,0,1536,1536,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2020": [24,23,3,5,36,16,8640,540,1728,2880,108,180,576,8640,576,2880,16,64,0,0,0,12,0,0,0,0,1065353216,0,0,0,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2120": [24,23,3,5,36,16,8640,540,1728,2880,108,180,576,8640,576,2880,16,32,0,0,0,12,0,0,0,0,1065353216,0,1536,1536,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2220": [24,23,3,5,36,16,8640,540,1728,2880,108,180,576,8640,576,2880,16,32,0,0,0,12,0,0,0,0,1065353216,0,1536,1536,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2011": [24,23,3,5,36,15,8100,540,1620,2700,108,180,540,8640,576,2880,16,60,0,0,0,12,0,0,0,0,1073741824,0,0,0,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2111": [24,23,3,5,36,15,8100,540,1620,2700,108,180,540,8640,576,2880,16,30,0,0,0,12,0,0,0,0,1073741824,0,1440,1440,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2211": [24,23,3,5,36,15,8100,540,1620,2700,108,180,540,8640,576,2880,16,30,0,0,0,12,0,0,0,0,1073741824,0,1440,1440,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2021": [24,23,3,5,36,15,8100,540,1620,2700,108,180,540,8640,576,2880,16,60,0,0,0,12,0,0,0,0,1065353216,0,0,0,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2121": [24,23,3,5,36,15,8100,540,1620,2700,108,180,540,8640,576,2880,16,30,0,0,0,12,0,0,0,0,1065353216,0,1440,1440,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case2221": [24,23,3,5,36,15,8100,540,1620,2700,108,180,540,8640,576,2880,16,30,0,0,0,12,0,0,0,0,1065353216,0,1440,1440,12,16,192,12,8,96,12,16,192,12,8,96,1,0,0,0,22,16,352,22,8,176,22,16,352,22,8,176,1,0,0,0],
    "case21031" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,350208,21888,350208,152,580,29184,29184,0,48,2,0,7296,0,1073741824,0,13824,0,48,152,7296,48,8,384,48,152,7296,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21131" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15360,15360,0,48,2,0,7680,0,1073741824,61440,13824,0,48,160,7680,48,8,384,48,160,7680,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21231" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15360,15360,0,48,2,0,7680,0,1073741824,61440,13824,0,48,160,7680,48,8,384,48,160,7680,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21041" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,350208,21888,350208,152,580,29184,29184,0,48,2,0,7296,0,1065353216,0,13824,0,48,152,7296,48,8,384,48,152,7296,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21141" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15360,15360,0,48,2,0,7680,0,1065353216,61440,13824,0,48,160,7680,48,8,384,48,160,7680,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21241" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15360,15360,0,48,2,0,7680,0,1065353216,61440,13824,0,48,160,7680,48,8,384,48,160,7680,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case1000": [32,2731,256,128,1,1,32768,32768,256,128,256,128,1,262144,8,1024,8,4,0,0,0,2731,0,0,0,0,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case1100": [32,2731,256,128,1,1,32768,32768,256,128,256,128,1,524288,16,2048,16,2,0,0,0,2731,0,0,0,0,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case1200": [32,2731,256,128,1,1,32768,32768,256,128,256,128,1,524288,16,2048,16,2,0,0,0,2731,0,0,0,0,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case2032": [8,1,1,1,4,144,576,4,576,576,4,4,576,576,576,576,144,576,576,576,0,0,0,1,0,144,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,144,144,1,8,8,1,144,144,1,8,8,1,0,0,0],
    "case2132": [8,1,1,1,4,144,576,4,576,576,4,4,576,576,576,576,144,288,288,288,0,0,0,1,0,144,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,144,144,1,16,16,1,144,144,1,16,16,1,0,0,0],
    "case2232": [8,1,1,1,4,144,576,4,576,576,4,4,576,576,576,576,144,288,288,288,0,0,0,1,0,144,1073741824,1152,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,144,144,1,8,8,1,144,144,1,8,8,1,0,0,0],
    "case2042": [8,1,1,1,4,144,576,4,576,576,4,4,576,576,576,576,144,576,576,576,0,0,0,1,0,144,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,144,144,1,8,8,1,144,144,1,8,8,1,0,0,0],
    "case2142": [8,1,1,1,4,144,576,4,576,576,4,4,576,576,576,576,144,288,288,288,0,0,0,1,0,144,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,144,144,1,16,16,1,144,144,1,16,16,1,0,0,0],
    "case2242": [8,1,1,1,4,144,576,4,576,576,4,4,576,576,576,576,144,288,288,288,0,0,0,1,0,144,1065353216,1152,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,144,144,1,8,8,1,144,144,1,8,8,1,0,0,0],
    "case21032": [1,2,1,1,49,145,7105,49,7105,7105,49,49,7105,7448,7448,7448,152,580,1216,1216,0,0,0,2,0,304,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,152,304,2,8,16,2,152,304,2,8,16,1,0,0,0],
    "case21132": [1,2,1,1,49,145,7105,49,7105,7105,49,49,7105,7840,7840,7840,160,290,640,640,0,0,0,2,0,320,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,160,320,2,16,32,2,160,320,2,16,32,1,0,0,0],
    "case21232": [1,2,1,1,49,145,7105,49,7105,7105,49,49,7105,7840,7840,7840,160,290,640,640,0,0,0,2,0,320,1073741824,2560,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,160,320,2,8,16,2,160,320,2,8,16,1,0,0,0],
    "case21042": [1,2,1,1,49,145,7105,49,7105,7105,49,49,7105,7448,7448,7448,152,580,1216,1216,0,0,0,2,0,304,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,152,304,2,8,16,2,152,304,2,8,16,1,0,0,0],
    "case21142": [1,2,1,1,49,145,7105,49,7105,7105,49,49,7105,7840,7840,7840,160,290,640,640,0,0,0,2,0,320,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,160,320,2,16,32,2,160,320,2,16,32,1,0,0,0],
    "case21242": [1,2,1,1,49,145,7105,49,7105,7105,49,49,7105,7840,7840,7840,160,290,640,640,0,0,0,2,0,320,1065353216,2560,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,160,320,2,8,16,2,160,320,2,8,16,1,0,0,0],
    "case50011": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,64,40960,20480,4096,5,4,2,10240,4096,1073741824,0,0,0,640,16,10240,640,8,5120,40,16,640,40,8,320,16,0,0,0,256,16,4096,256,8,2048,40,16,640,40,8,320,6,16,256,128],
    "case50111": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,8192,3072,4096,2,10,2,4096,4096,1073741824,32768,0,0,256,16,4096,256,8,2048,256,16,4096,256,8,2048,1,0,0,0,256,16,4096,256,8,2048,256,16,4096,256,8,2048,1,0,0,0],
    "case50211": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,20480,3072,4096,5,4,2,10240,4096,1073741824,57344,0,0,640,16,10240,640,8,5120,184,16,2944,184,8,1472,3,88,1408,704,256,16,4096,256,8,2048,184,16,2944,184,8,1472,1,72,1152,576],
    "case50021": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,64,40960,20480,4096,5,4,2,10240,4096,1065353216,0,0,0,640,16,10240,640,8,5120,40,16,640,40,8,320,16,0,0,0,256,16,4096,256,8,2048,40,16,640,40,8,320,6,16,256,128],
    "case50121": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,8192,3072,4096,2,10,2,4096,4096,1065353216,32768,0,0,256,16,4096,256,8,2048,256,16,4096,256,8,2048,1,0,0,0,256,16,4096,256,8,2048,256,16,4096,256,8,2048,1,0,0,0],
    "case50221": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,20480,3072,4096,5,4,2,10240,4096,1065353216,57344,0,0,640,16,10240,640,8,5120,184,16,2944,184,8,1472,3,88,1408,704,256,16,4096,256,8,2048,184,16,2944,184,8,1472,1,72,1152,576],
    "case50031": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,64,40960,8192,0,5,4,2,10240,4096,1073741824,0,0,0,640,16,10240,640,8,5120,80,16,1280,80,8,640,8,0,0,0,256,16,4096,256,8,2048,80,16,1280,80,8,640,3,16,256,128],
    "case50131": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,12288,3072,0,3,7,1,6144,2048,1073741824,32768,0,0,384,16,6144,384,8,3072,384,16,6144,384,8,3072,1,0,0,0,128,16,2048,128,8,1024,128,16,2048,128,8,1024,1,0,0,0],
    "case50231": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,20480,3072,0,5,4,2,10240,4096,1073741824,49152,0,0,640,16,10240,640,8,5120,216,16,3456,216,8,1728,2,208,3328,1664,256,16,4096,256,8,2048,216,16,3456,216,8,1728,1,40,640,320],
    "case50041": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,64,40960,8192,0,5,4,2,10240,4096,1065353216,0,0,0,640,16,10240,640,8,5120,80,16,1280,80,8,640,8,0,0,0,256,16,4096,256,8,2048,80,16,1280,80,8,640,3,16,256,128],
    "case50141": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,12288,3072,0,3,7,1,6144,2048,1065353216,32768,0,0,384,16,6144,384,8,3072,384,16,6144,384,8,3072,1,0,0,0,128,16,2048,128,8,1024,128,16,2048,128,8,1024,1,0,0,0],
    "case50241": [15,22,4,2,16,16,2048,128,1024,512,64,32,256,2048,256,512,16,32,20480,3072,0,5,4,2,10240,4096,1065353216,49152,0,0,640,16,10240,640,8,5120,216,16,3456,216,8,1728,2,208,3328,1664,256,16,4096,256,8,2048,216,16,3456,216,8,1728,1,40,640,320],
    "case51011": [1,2,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,3840,4224,960,0,0,2,0,960,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,8,960,120,8,960,120,8,960,120,8,960,1,0,0,0],
    "case51111": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,1920,0,0,2,0,1920,1073741824,15360,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51211": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,1920,0,0,2,0,1920,1073741824,15360,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51021": [1,2,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,3840,4224,960,0,0,2,0,960,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,8,960,120,8,960,120,8,960,120,8,960,1,0,0,0],
    "case51121": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,1920,0,0,2,0,1920,1065353216,15360,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51221": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,1920,0,0,2,0,1920,1065353216,15360,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51031": [1,2,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,3840,1920,0,0,0,2,0,960,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,8,960,120,8,960,120,8,960,120,8,960,1,0,0,0],
    "case51131": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,0,0,0,2,0,1920,1073741824,11520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51231": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,0,0,0,2,0,1920,1073741824,11520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51041": [1,2,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,3840,1920,0,0,0,2,0,960,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,8,960,120,8,960,120,8,960,120,8,960,1,0,0,0],
    "case51141": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,0,0,0,2,0,1920,1065353216,11520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51241": [1,2,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,3840,1024,0,0,0,2,0,1920,1065353216,11520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,120,16,1920,120,8,960,120,16,1920,120,8,960,1,0,0,0],
    "case51012": [45,11,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,9600,4224,960,5,2,1,2400,480,1073741824,0,0,0,300,8,2400,300,8,2400,300,8,2400,300,8,2400,1,0,0,0,60,8,480,60,8,480,60,8,480,60,8,480,1,0,0,0],
    "case51112": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,1920,5,2,1,4800,960,1073741824,26880,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51212": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,1920,5,2,1,4800,960,1073741824,26880,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51022": [45,11,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,9600,4224,960,5,2,1,2400,480,1065353216,0,0,0,300,8,2400,300,8,2400,300,8,2400,300,8,2400,1,0,0,0,60,8,480,60,8,480,60,8,480,60,8,480,1,0,0,0],
    "case51122": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,1920,5,2,1,4800,960,1065353216,26880,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51222": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,1920,5,2,1,4800,960,1065353216,26880,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51032": [45,11,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,9600,1920,0,5,2,1,2400,480,1073741824,0,0,0,300,8,2400,300,8,2400,300,8,2400,300,8,2400,1,0,0,0,60,8,480,60,8,480,60,8,480,60,8,480,1,0,0,0],
    "case51132": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,0,5,2,1,4800,960,1073741824,23040,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51232": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,0,5,2,1,4800,960,1073741824,23040,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51042": [45,11,3,5,4,3,180,60,36,60,12,20,12,480,32,160,8,12,9600,1920,0,5,2,1,2400,480,1065353216,0,0,0,300,8,2400,300,8,2400,300,8,2400,300,8,2400,1,0,0,0,60,8,480,60,8,480,60,8,480,60,8,480,1,0,0,0],
    "case51142": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,0,5,2,1,4800,960,1065353216,23040,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case51242": [45,11,3,5,4,3,180,60,36,60,12,20,12,960,64,320,16,6,9600,1024,0,5,2,1,4800,960,1065353216,23040,0,0,300,16,4800,300,8,2400,300,16,4800,300,8,2400,1,0,0,0,60,16,960,60,8,480,60,16,960,60,8,480,1,0,0,0],
    "case2033" : [1,1,1,1,1,16,16,1,16,16,1,1,16,16,16,16,16,64,64,64,0,0,0,1,0,16,1073741824,0,288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,16,16,1,8,8,1,16,16,1,8,8,1,0,0,0],
    "case2133" : [1,1,1,1,1,16,16,1,16,16,1,1,16,16,16,16,16,32,32,32,0,0,0,1,0,16,1073741824,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,16,16,1,16,16,1,16,16,1,16,16,1,0,0,0],
    "case2233" : [1,1,1,1,1,16,16,1,16,16,1,1,16,16,16,16,16,32,32,32,0,0,0,1,0,16,1073741824,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,16,16,1,8,8,1,16,16,1,8,8,1,0,0,0],
    "case2043" : [1,1,1,1,1,16,16,1,16,16,1,1,16,16,16,16,16,64,64,64,0,0,0,1,0,16,1065353216,0,288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,16,16,1,8,8,1,16,16,1,8,8,1,0,0,0],
    "case2143" : [1,1,1,1,1,16,16,1,16,16,1,1,16,16,16,16,16,32,32,32,0,0,0,1,0,16,1065353216,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,16,16,1,16,16,1,16,16,1,16,16,1,0,0,0],
    "case2243" : [1,1,1,1,1,16,16,1,16,16,1,1,16,16,16,16,16,32,32,32,0,0,0,1,0,16,1065353216,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,16,16,1,8,8,1,16,16,1,8,8,1,0,0,0],
    "case21033" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,350208,21888,350208,152,580,29184,29184,0,48,2,0,7296,0,1073741824,0,13824,0,48,152,7296,48,8,384,48,152,7296,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21133" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15040,15040,0,47,2,2,7520,320,1073741824,90240,13536,0,47,160,7520,47,8,376,47,160,7520,47,8,376,1,0,0,0,2,160,320,2,8,16,2,160,320,2,8,16,1,0,0,0],
    "case21233" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15040,15040,0,47,2,2,7520,320,1073741824,90240,13536,0,47,160,7520,47,8,376,47,160,7520,47,8,376,1,0,0,0,2,160,320,2,8,16,2,160,320,2,8,16,1,0,0,0],
    "case21043" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,350208,21888,350208,152,580,29184,29184,0,48,2,0,7296,0,1065353216,0,13824,0,48,152,7296,48,8,384,48,152,7296,48,8,384,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
    "case21143" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15040,15040,0,47,2,2,7520,320,1065353216,90240,13536,0,47,160,7520,47,8,376,47,160,7520,47,8,376,1,0,0,0,2,160,320,2,8,16,2,160,320,2,8,16,1,0,0,0],
    "case21243" : [48,96,1,16,144,145,334080,2304,20880,334080,144,2304,20880,368640,23040,368640,160,290,15040,15040,0,47,2,2,7520,320,1065353216,90240,13536,0,47,160,7520,47,8,376,47,160,7520,47,8,376,1,0,0,0,2,160,320,2,8,16,2,160,320,2,8,16,1,0,0,0],
    "case50012" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,512,2560,7680,1280,1,1,1,640,640,1040187392,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50112" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,1280,1,1,1,640,640,1040187392,7680,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50212" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,1280,1,1,1,640,640,1040187392,7680,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50022" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,512,2560,7680,1280,1,1,1,640,640,1065353216,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50122" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,1280,1,1,1,640,640,1065353216,7680,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50222" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,1280,1,1,1,640,640,1065353216,7680,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50032" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,512,2560,2560,0,1,1,1,640,640,1040187392,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50132" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,0,1,1,1,640,640,1040187392,5120,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50232" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,0,1,1,1,640,640,1040187392,5120,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50042" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,512,2560,2560,0,1,1,1,640,640,1065353216,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50142" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,0,1,1,1,640,640,1065353216,5120,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
    "case50242" : [16,2,5,1,1,128,640,5,640,128,5,1,128,640,128,128,128,256,1280,1536,0,1,1,1,640,640,1065353216,5120,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0,5,128,640,5,8,40,5,128,640,5,8,40,1,0,0,0],
}

def main():
    params_list = params_info[sys.argv[1]]

    tiling = np.array(params_list[:], dtype=np.int32)

    tiling_file = open("tiling.bin", "wb")
    tiling.tofile(tiling_file)


if __name__ == '__main__':
    main()
